Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
951	Degree Restrictions in Spanish Exclamatives Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:55:24 Philosophy of language Semantics Propositional calculus Mathematical logic Statements Proposition Determiner Illocutionary act Predicate Logic Linguistics Mathematics
952	Does “Q-Spreading” Come with Presupposition Spreading? Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:51:25 Predicate logic Quantification Philosophy of language Model theory Presupposition First-order logic Singular they Sentence Proposition Logic Linguistics Semantics
953	The Interpretation of Concealed Questions Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:58:56 Parts of speech Philosophy of language Mathematical logic Human communication Question Proposition Predicate Noun Subject Linguistics Grammar Syntax
954	Scalar (Non-)Identity and Similarity Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:59:15 Predicate logic Philosophical logic Abstraction Semantics Propositional calculus Property Interpretation Predicate Function Logic Mathematics Philosophy
955	Morpho-Semantics of the Progressive Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:00:05 Grammar Predicate Semantics Copula Grammatical aspect Stative verb Auxiliary verb English verbs Subject Linguistics Parts of speech Logic
956	Topic Abstraction as the Source for Nested Alternatives: A Conservative Semantics for Contrastive Topic Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:01:59 Science Model theory Predicate logic Interpretation Philosophy of language Philosophy of mind Lambda calculus Abstraction Quantification Logic Semantics Mathematical logic
957	Telescoping and Scope Economy Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:00:02 Predicate logic Linguistics Quantification Model theory Philosophical logic Existence FO Interpretation Sentence Logic Semantics Mathematical logic
958	Verification of solid state interlocking programs Phillip James1 , Andy Lawrence1 , Faron Moller1 , Markus Roggenbach1 , Monika Seisenberger1 , Anton Setzer1 , Karim Kanso2 , and Simon Chadwick3 1 Swansea Railway Verifi Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-12-12 10:55:19 Propositional calculus Predicate logic Model theory Formal languages Ladder logic Model checking Logic programming First-order logic Interlocking Logic Mathematical logic Mathematics
959	A Differential Diagnostic System based on a Java Framework for Intelligent Systems by Holger Flier Add to Reading List Source URL: www.utdallas.edu Language: English - Date: 2006-06-28 21:44:26 Logic programming Logic Clause Predicate logic Literal Java Conjunctive normal form Tseitin-Transformation Propositional calculus Mathematical logic Computing
960	The Syntax of Quantification in SLA: An Emergentist Approach Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:53:20 Philosophical logic Philosophy of language Predicate logic Quantification Control Singular they Sense and reference Subject Interpretation Linguistics Logic Semantics

UPDATE